15

Certification of Thread Context Switching

Year:
2010
Language:
english
File:
PDF, 589 KB
english, 2010
31

A Shape Graph Logic and A Shape System

Year:
2013
Language:
english
File:
PDF, 780 KB
english, 2013
32

Direct Binding of Herpes Simplex Virus Type 1 Virions to Complement C3

Year:
2003
Language:
english
File:
PDF, 295 KB
english, 2003
36

Garbage Collector Verification for Proof-Carrying Code

Year:
2007
Language:
galician
File:
PDF, 746 KB
galician, 2007
44

Certifying Concurrent Programs Using Transactional Memory

Year:
2009
Language:
english
File:
PDF, 479 KB
english, 2009